/*
 *  input.h
 *
 *  $Id: input.h 7 2009-08-16 13:27:17Z nramsbottom $	
 *
 */

// read a line from the standard input, up to max length
char* input_readline(char* buffer, int max); 